# -*- mode: snippet -*-
# name: Unset Standard Proposition Elimination Names
# --
Unset Standard Proposition Elimination Names
